discriminated union type

英 [dɪˈskrɪmɪneɪtɪd ˈjuːniən taɪp] 美 [dɪˈskrɪmɪneɪtɪd ˈjuːniən taɪp]

【计】判别析取类型

计算机